Relative Definability in Formal Ontologies
نویسنده
چکیده
The paper investigates technical meta-logical notions and theorems relating to definitions and relative definability and shows how these are relevant to the concerns of knowledge representation. In particular they can be used to identify sets of primitives that are sufficent to fully describe a given domain. Fundamental definability theorems of Tarski are examined, and it is shown how these can adapted to be applicable not only to precise and categorical mathematical theories but also to more loosely formalised ontological theories.
منابع مشابه
The Role of Definitions in Construction and Analysis of Formal Ontologies
In this paper I make the case that formal characterisation of large conceptual vocabularies does not require the specification of large numbers of axioms but can be carried out primarily in terms of definitions. Axioms should be confined to describing the logical properties of a relatively small core of primitives. I examine some technical meta-logical notions and theorems relating to definitio...
متن کاملDefinability and Process Ontologies
In this paper, we use the notions of relative interpretations and definable models from mathematical logic to compare different ontologies and also to evaluate the limitations of particular ontologies. In particular, we characterize the relationship between the theories within the first-order PSL Ontology and two other ontologies – a first-order theory of time and Reiter’s second-order axiomati...
متن کاملBeth Definability in Institutions
BETH DEFINABILITY IN INSTITUTIONS MARIUS PETRIA∗ AND RĂZVAN DIACONESCU Abstract. This paper studies definability within the theory of institutions, a version of abstract model This paper studies definability within the theory of institutions, a version of abstract model theory that emerged in computing science studies of software specification and semantics. We generalise the concept of definab...
متن کاملOn the role of language in social choice theory
Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved. Here, instead, we propose to compare axiomatizations according to the language used for expressing the axioms. In order to carry out such a comparison, we suggest a formalist approach to axiomatization results which...
متن کاملComputing Minimal Definition Signatures in Description Logic Ontologies
The ability to rewrite defined ontological entities into syntactically different, but semantically equivalent forms is an important property of Definability. While rewriting has been extensively studied, the practical applicability of currently existing methods is limited, as they are bounded to particular Description Logics (DLs), and they often present only theoretical results. Moreover, thes...
متن کامل